cuantificador existencial
- 1. Log./Mat.
Bere ondoren datorren proposizioa gutxienez unibertsoko elementu baterako egiazkoa dela adierazteko, logikan erabiltzen den sinboloa. Ikurra ∃ du, eta existitzen da, bada edo badago irakurtzen da.
Bere ondoren datorren proposizioa gutxienez unibertsoko elementu baterako egiazkoa dela adierazteko, logikan erabiltzen den sinboloa. Ikurra ∃ du, eta existitzen da, bada edo badago irakurtzen da.